例文
- Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships.
- Lindstr鰉's theorem is perhaps the best known result of what later became known as abstract model theory, the basic notion of which is an abstract logic; the more general notion of an category theoretical one.
